A Structurally Characterized Cobalt(I) σ‐Alkane Complex
نویسندگان
چکیده
منابع مشابه
A Structurally Characterized Organometallic Plutonium(IV) Complex
The blood-red plutonocene complex Pu(1,3-COT'')(1,4-COT'') (4; COT''=η8 -bis(trimethylsilyl)cyclooctatetraenyl) has been synthesized by oxidation of the anionic sandwich complex Li[Pu(1,4-COT'')2 ] (3) with anhydrous cobalt(II) chloride. The first crystal structure determination of an organoplutonium(IV) complex revealed an asymmetric sandwich structure for 4 where one COT'' ring is 1,3-substit...
متن کاملRepairing Structurally Complex Data
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them, the algorithm performs repair actions that mutate the given structure to generate a new structure that satisfies the constraints. Assertions are written as imperative predicates, which can express rich structural pr...
متن کاملGenerating Representation Invariants of Structurally Complex Data
Generating likely invariants using dynamic analyses is becoming an increasingly effective technique in software checking methodologies. This paper presents Deryaft, a novel algorithm for generating likely representation invariants of structurally complex data. Given a small set of concrete structures, Deryaft analyzes their key characteristics to formulate local and global properties that the s...
متن کاملGenerating Structurally Complex Tests from Declarative Constraints
This dissertation describes a method for systematic constraint-based test generation for programs that take as inputs structurally complex data, presents an automated SAT-based framework for testing such programs, and provides evidence on the feasibility of using this approach to generate high quality test suites and find bugs in non-trivial programs. The framework tests a program systematicall...
متن کاملStructurally robust control of complex networks.
Robust control theory has been successfully applied to numerous real-world problems using a small set of devices called controllers. However, the real systems represented by networks contain unreliable components and modern robust control engineering has not addressed the problem of structural changes on complex networks including scale-free topologies. Here, we introduce the concept of structu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Angewandte Chemie
سال: 2020
ISSN: 0044-8249,1521-3757
DOI: 10.1002/ange.201914940